• 전체
  • 전자/전기
  • 통신
  • 컴퓨터
로그인 회원가입 About Us 이용안내
사이트맵
닫기

사이트맵

Loading..

Please wait....

검색 결과

컴퓨터연구정보센터::연구문헌
[ 자주찾는 논문 TOP 10 ]
  1. ·   
  2. ·   
  3. ·   
  4. ·   
  5. ·   
  6. ·   
  7. ·   
  8. ·   
  9. ·   
  10. ·   

실시간 검색어

검색어 "Eunkyoung Jee"에 대한 [연구문헌] 검색결과 입니다.

국내 논문지 총 11건이 검색되었습니다.

엑셀로 저장

결과 내 재검색   검색

1 / 2 (Current/Total page)

1 제목(Title) MuGenFBD: 기능 블록 다이어그램 프로그램에 대한 자동 뮤턴트 생성기
저자(Author) Lingjun Liu   지은경   배두환   Eunkyoung Jee   Doo-Hwan Bae  
수록저널(Journal) 정보처리학회논문지 소프트웨어 및 데이터 공학
원문수록처(Citation) VOL 10 NO. 04 PP. 0115 ~ 0124 2021. 04
2 제목(Title) FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용
저자(Author) 지은경   송지영   배두환   Eunkyoung Jee   Jiyoung Song   Doo-Hwan Bae  
수록저널(Journal) 정보과학회 컴퓨팅의 실제 논문지
원문수록처(Citation) VOL 24 NO. 11 PP. 0589 ~ 0595 2018. 11
3 제목(Title) 원전 디지털 원자로보호계통 소프트웨어 안전보증 패러다임 적용 및 분석
저자(Author) 권기춘   이장수   지은경   Kee-Choon Kwon   Jang-Soo Lee   Eunkyoung Jee  
수록저널(Journal) 정보과학회 컴퓨팅의 실제 논문지
원문수록처(Citation) VOL 23 NO. 06 PP. 0335 ~ 0342 2017. 06
4 제목(Title) 군집 적응형 시스템의 목표 기반 테스트를 위한태스크 기반 테스트 모델 적용 타당성 연구
저자(Author) 이정현   지은경   임유진   배두환   Cheonghyun Lee   Eunkyoung Jee   Yoo Jin Lim   Doo-Hwan Bae  
수록저널(Journal) 정보과학회 컴퓨팅의 실제 논문지
원문수록처(Citation) VOL 22 NO. 08 PP. 0393 ~ 0398 2016. 08
5 제목(Title) FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구
저자(Author) 신동환   김준호   윤원경   지은경   배두환   Donghwan Shin   Junho Kim   Wonkyung Yun   Eunkyoung Jee   Doo-Hwan Bae  
수록저널(Journal) 정보과학회 컴퓨팅의 실제 논문지
원문수록처(Citation) VOL 22 NO. 03 PP. 0145 ~ 0150 2016. 03
6 제목(Title) 타임드 오토마타 모델 기반 테스팅 기법 분석 및 사례 연구
저자(Author) 김한석   지은경   배두환   Hanseok Kim   Eunkyoung Jee   Doo-Hwan Bae  
수록저널(Journal) 정보과학회 컴퓨팅의 실제 논문지
원문수록처(Citation) VOL 21 NO. 02 PP. 0132 ~ 0137 2015. 02
7 제목(Title) 타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성
저자(Author) 최진호   지은경   배두환   Jinho Choi   Eunkyoung Jee   Doo-Hwan Bae  
수록저널(Journal) 한국정보과학회 논문지 C - 컴퓨팅의 실제
원문수록처(Citation) VOL 19 NO. 02 PP. 0090 ~ 0094 2013. 02
8 제목(Title) FBD 모델 대상 뮤테이션 연산자 정의 및 사례연구
저자(Author) 신동환   지은경   배두환   Donghwan Shin   Eunkyoung Jee   Doo-Hwan Bae  
수록저널(Journal) 한국정보과학회 논문지 C - 컴퓨팅의 실제
원문수록처(Citation) VOL 19 NO. 01 PP. 0036 ~ 0040 2013. 01
9 제목(Title) 안전성이 중요한 시간 기반 내장형 소프트웨어의 시간 제약성 검증에 관한 사례 연구
저자(Author) 최진호   지은경   김현정   배두환   Jinho Choi   Eunkyoung Jee   Hyeon-Jeong Kim   Doo-Hwan Bae  
수록저널(Journal) 한국정보과학회 논문지 B - 소프트웨어 및 응용
원문수록처(Citation) VOL 38 NO. 12 PP. 0647 ~ 0656 2011. 12
10 제목(Title) 함수 블록 다이어그램으로 구현된 PLC 프로그램에 대한 정형 검증 기법
저자(Author) 지은경   전승재   차성덕   Eunkyoung Jee   Seungjae Jeon   Sungdeok Cha  
수록저널(Journal) 한국정보과학회 논문지 C - 컴퓨팅의 실제
원문수록처(Citation) VOL 15 NO. 03 PP. 0211 ~ 0215 2009. 03
처음  이전 1 2 다음 끝